better formatting for printer AST
correct colons
destroy for table
Merge branch 'master' of https://github.com/markusmo/epicminic