manifolds-0.6.0.0: Coordinate-free hypersurfaces