Renamed 'FalseElim' to 'void'

This relates to idris-lang/Idris-dev#1619