manifolds-0.2.0.1: Coordinate-free hypersurfaces