Implement default infix bind behavior.

Also, add some predefined variable scanner variations.