Document unlifted FFI types
Resolves #16629 (closed). Someone more familiar with the source needs to check this for accuracy. I suspect that everything of kind
TYPE 'UnliftedRep can be passed to a foreign function, but I'm not totally sure. Also, I'm not sure in what version of GHC
UnliftedFFITypes was introduced.