Errors fixed by correcting call and equality in typeChecker. All tests
passing.