Define GHC.Types.Coercible

This data type is required so that Coercible (which is actually a class
and is exported from GHC.Prim) has a info table etc., similar to ~