Syntax highlighting; better lex; substeps files now has annotator support to highlight whether a step has a correct definition/step impl matching it or not