Improve use of exceptions

[mikonieminen]

Currently we mostly call failwith with a message. Instead the library should use more specific exception types to indicate what kind of failure is in the question.