Remove special support for _|_

Idris has renamed _|_ to "Void", so special commands and highlighting
are no longer necessary.

Fixes #259.