Remove unit

Closes https://github.com/rust-lang/rust/issues/18614.
I kept it so that witnesses in non-exhaustive patterns would be more descriptive (i.e. () rather than _) but we can probably achieve that differently.