Bottom -> Nothing

See #186.
Void -> Anything

See #186.
Merge pull request #948 from lucaswerkmeister/master

4× Bottom → Nothing