Updated alternative dictionary listener

MyDictionaryListener now handles deletions correctly. I also fixed a bug
in the highlighter.