No longer extract an abstract type `t` (private + ghost fields) as
`type t = unit`. Instead, extract `t` as a type with no definition.
On the other hand, if `t` is a non-private type which happens to
have only ghost fields, this is still extracted as `type t = unit`.