typeChecker: checkStmt ERetVoid, ERetExp, ECompound
typeChecker: checkStmt SIfThen, SIfThenElse, SForTo, SForDownto, SWhile, SDoWhile