set-var-val optimization

[Kakadu]

https://github.com/michaelballantyne/faster-minikanren#set-var-val

There is an optimization, that if variable was created and immediately unified, we can store a binding inside a variable, and save a lookup to the substitution-map. Sounds weird, but it should save some performance. Needs benchmarking also.