typo fix in the documentation.
added functions to recover the space and base of a pointed type
added loop space.
proved the Eckmann-Hilton theorem.
added top level modules for topology.
added loopspace into the tests