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