Found to '$' replace with '<|'

Hi Evan,

this bug also exists on the dev branch.

It highlights a problem that undefined operators are not caught by the typechecker? Or is it just because '$' used to be a built-in operator?

Now that I found the problem, the runtime error makes sense. But it took some git bisecting to get to that understanding.

Mads