vector-space-points-0.1.2.0: A type for points, as distinct from vectors.