typeChecker: minor changes