manifolds-0.4.1.0: Coordinate-free hypersurfaces