lexer formatting, alphabetization where no side-effects