Renamed '_|_' to 'Void' and 'FalseElim' to 'void' to match up the update
in Idris.
Merge pull request #43 from ahmadsalim/feature/renamevoid

Renamed '_|_' to 'Void' and 'FalseElim' to 'void' to match up the update in Idris.