manifolds-0.5.0.4: Coordinate-free hypersurfaces