Foundations of Hyperbolic Manifolds