Integrated types in Geometry.