manifolds-0.2.3.0: Coordinate-free hypersurfaces