unit tests of typeChecker.js