Add override type mismatch checking
Fix bugs for GetFn and GetVar for ClassDecl
Add impl of 7
Add DoCheck for PrintStmt