Parse exception declarations.

Soundness, completeness and simple tests all done.