Better formatting of output from typechecking
Decided that using the old Exp type was a better idea, still WIP