Toward a Geometric Theory of Manifold Untangling