[micro-syntax] Refine an HTM8-like lexer