Made colouring faster by ignoring singleton orbits
Made colouring faster by ignoring singleton orbits
Commented some output statements
Repaired a bug in the plan instantiation algorithm
Started adding transversal theorems