manifolds-0.2.2.0: Coordinate-free hypersurfaces