Almost_symplectic_manifold loading ...