This seems more flexible to me somehow.
Using the approach in TFA, can the laser handle tokens that are prefixes of other tokens? Or even tokens that share prefixes?
Lexing "truefalse" as two adjacent tokens "true" and "false" seems slightly crazier than just lexing it as one (meaningless) token.