manifolds-0.4.5.0: Coordinate-free hypersurfaces