manifolds-0.5.1.0: Coordinate-free hypersurfaces