rewrite servant-checked-exceptions in terms of uverb

[cdepillabout]

Servant recently got support for returning multiple types of responses from a single endpoint with the UVerb:

haskell-servant/servant#1314

It might be possible to rewrite servant-checked-exceptions (and simplify parts of it) by using this new UVerb functionality.