Removed reserved exception tokens from the lexer and moved the functionality of checking that exception types in catch block exception bindings are valid to the type checker per Behram's suggestions. Moving this functionality out of the lexer allows for better error-reporting to the programmer at the expense of potentially allowing programmers to use semi-reserved exception type names in identifiers.