WyC: some small documenting and minor refactoring of throws clauses'