manifolds-0.4.4.0: Coordinate-free hypersurfaces