Removed `_|_` as a built in declaration and renamed it to `Void`

`FalseElim` now `void` to match up.
This is in line with (and concludes) the #1516 renaming effort.