Define a top-level token splitter for the semantics