Adicionando checagem de tipo SWITCH

INTERPRETAÇÕES
- Expressoes em um SWITCH só podem ser inteiros {checkSwitchEx}
- Um case pode receber um identificador {checkCaseEx}