Common supertype for exceptions
Added pretty-printing and scalacheck test