Made the pretty-printing print whole commands.
Fix bug in pruning (?)
Make reg_eqc_1 use the pretty-printing.
First stab at autogeneralisation.
tweak refinement
Merge branch 'master' of github.com:nick8325/more-bugs
Something exciting happened with the merge...