print symbol map
show usability info
Merge branch 'usable-rules' of github.com:apunktbau/co4 into usable-rules

Conflicts:
	tc/CO4/Test/TermComp2014/Run.hs
show usable rules step only if it is non-trivial
proof output using tc/MB/Proof (instead of Doc)
prepare for output in cpf format
proof output for SCCs and Usable Rules
Merge branch 'usable-rules' of https://github.com/jwaldmann/co4 into usable-rules
dump proof (non-cpf)
export nat width
remove unnecessary show instance