Made some exception descriptions more elaborate. To achieve this, the dump() functions have been extended to allow writing to an arbitrary ostream.