Library for handling various differentiable manifolds.