Wrapping ks, Sets and Props into Terms and Inductive and Definition into Sentences.

This should fix most issues to generate a proper pretty printing, though some issues remain.