Manifolds Versions Save

Coordinate-free hypersurfaces as Haskell types