manifolds-0.5.0.1: Coordinate-free hypersurfaces