Tests for the Coercible class

Also see http://ghc.haskell.org/trac/ghc/wiki/NewtypeWrappers