A type for points, as distinct from vectors.