Types within C.L.MECCANICA