this isn't even a hack -- in Typst you write `$a b$` for implicit products, `$ab$` is always parsed as an identifier and you'll get a compile error if its not defined.