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().
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().

era-platform/cene,rocketnia/era-cene,rocketnia/era,era-platform/cene,rocketnia/era,rocketnia/era-cene,rocketnia/era,rocketnia/era-cene,era-platform/cene