manifolds-0.6.1.0: Coordinate-free hypersurfaces