Naming thread

Sup, /prague/.
To make my language perfect, I need perfect naming.
I have two pattern-matching operators - `=>' and `<=' - and both have alternative named forms for some syntactic manipulations. The first one is same as ML's `match'(or Erlang's `case') is named `match', I have no problem with it. The second one is used for binding, but it would be misguiding to call it `bind' since it doesn't just bind name, it matches them, what means that «a <= "foo"» would fail if a is already bound to something not equal to string "foo".
How would you call this operator?

batch
mind

Reminds me, I could start on my DSL instead of this shitty final year project.

>>2
match comes to bind

>>3
nah, get cable instead.

>>5
Rather than funny, you just look clueless.

>>6
What are you talking about?

unify

Learn Prolog.

>>8
Fuck off, Yannick.

>>8
Good idea. But unification is symmetric, while `<=' is obviously asymmetric.

unify

Sorry didn't see unify was already suggested. How about asymunify then?

>>12
That's awkward.

autismunify

>>12
And its counterpart, unifyasym?