manifolds-0.1.6.2: Coordinate-free hypersurfaces