Created  typeinference.sml for part 2, started working on fun W.

Renamed the file. Because I fail at reading. :P W is mostly implemented, missing Rec and Lett cases currently. I've only tested this on the cases at the bottom of the skeleton.