typeChecker: checkExp operations