Start implementing typed throw specifiers with the syntax throws(X). There are a large number of tasks involved in such a feature; this pull request covers the parsing and type checking aspects. ...