Replace Exceptions with error types

[LeeARichardson]

Domain specific error types for all Options. So they have the data we want and no more, and can be matched on.