ArrowReplacer replaced with DirectReplacer

The direct replacer does all simple conversions that take no
arguments or options (!= to \neq, >= to \geq, etc)