More minor fixes
Added other characters per Eddie's request
Merged Kekai's highlighter thing

* 'wffchecker-buttonpanel' of ssh://github.com/PeterDrake/Logic:
  added highlighting of errors