manifolds-0.1.5.1: Coordinate-free hypersurfaces