Replace Empty type with never type (!)

[prataprc]

We use Empty type across rdms type mechanics to fill implementation gaps. Although it works well, we would like to consider using the ! (never_type) instead of Empty. One immediate challenge is the conversion constraint that we have for instance trait Index { type O: From<ffi::OsString> }.