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