Documentation update

- Now have to instantiate incomplete OrbitTypes, the empty SolutionSet
and the integers SolutionSet
- Added a small number of tests