major refactoring of the topos classes for better type-binding/safety.
But, had to comment out most of the tests as they don't compile :(