Differentiate between 'throws syntax error' and 'throws semantic error'

[alexjpwalker]

Currently we only test that exceptions are thrown. We should also test whether they are syntax errors or semantic errors.