TermConsToKAST
a bit of cleanup

will provide examples and better Java interop tomorrow