the geometry of type