Added support at the lexing, parsing and type checking phases for Switch statements
(and case/default bodies, and the next explicit fallthrough statement)
- also added error handling at the parsing stage for switch statements.