cleanup imports
primitive for pretty printing base lang
fomega can pretty print
fix term prettifier
hover help for type analysis