Yet another fix to the -Onot optimisation that hides data type
representations in .hi files.

1.  Expose the representation if any fields are exposed

2.  Don't expose newtypes whose data-cons are abstract, unless the
    rep type is a FFI type.  (Previously we were more conservative
    and always exposed newtypes, just in case of a foreign decl.)