manifolds-0.4.0.0: Coordinate-free hypersurfaces