Hacked up a quick checkType; application now works

Type inference should work for pure lambda terms and infer Hindley-Milner types,
I believe.