New syntax suggestion: catch with type specs

I am opposed to this change because it encourages the use of exceptions for expected errors. IMO exceptions should be used for unexpected errors, and another system should be introduced for producing and handling failure values. Python uses exceptions for control flow; I don’t think Julia should.

Meanwhile switch/case is a primitive implementation of pattern matching, which has been implemented much more generally with @match.