orbiter classification of combinatorial objects Please see DOC/orbiter.pdf Anton Betten March 18, 2016