Moving to Homotopy namespace
Moving things into the Homotopy namespace.
Merge branch 'develop' into Namespace
Moved all dangling objects/types into Homotopy namespace EXCEPT Problems (to reinforce their independence).
Merge branch 'Namespace' into develop