While it may eventually be useful to mark the exceptions that can be raised from a function or method, the semantics are currently undefined and unclear.
Closes #579.