Minor: Clean up a bit
Collapse return statement types to S_return (Maybe v) to simplify logic
Extend try-catch support to include embedded try-catch plus return and throw statements
Ignore class files
Check support for switch scoping rules
Remove unused language extension