typeChecker: checkStmt SCase, checkCase