Hid some now used functions in Inference.Type
Reworked TermM and unfurl to match nicely