New EEP draft: Pinning operator ^ in patterns

[e@REDACTED]

> the proposed notation signals:
> this variable at this point
> is EXPECTED TO BE UNBOUND

I made a mistake, the original notation was opposite,
it signals expectation of being bound.

Consider my mistake a proposal:
let us designate the expectation to be UNbound,
because this state is much more RARE,
therefore this notation would add less symbols.

also it must be optional.