Added some unit tests that test betaReduce(), isType(), and typeCheck() all at once. Most of them fail due to some kind of issue in typeCheck().