Syntax highlighter for Maude