New EEP draft: Pinning operator ^ in patterns

[Eugene]

> I do question how many projects will use this. I suspect the strong 
> reaction is an indication.

i would annotate EVERY Unbound var occurrence in my programs.
because there is no simple alternative to learn this fact
from a program text, except reading everything thru-n-thru.

when i add something or copypaste it is not a rare mistake
to give same name to different vars.
normally it produces a "bad-match" error,
which semantic is grossly misleading.


> The absence of this operator might 
> make this more obvious
how does explicit annotation make anything LESS obvious?