You can parse the whole expression / statement and decide what it is. You have to be careful with infix operators, but there is always Haskell's solution of ad

You can parse the whole expression / statement and decide what it is. You have to be careful with infix operators, but there is always Haskell's solution of adding backticks for infix names. So add(a, b) is the same as a `add` b But without joking, a _real_ solution to infix operator names would be a backslash as prefix, as pseudo-Latex-style, so a \add b