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

I implemented all cases for W except Rec and Lett (which raise Unimplemented). I haven't done much testing on this yet. Only the tests from the bottom of the skeleton file.