Reimplement default infix bind with functions.

1. It no longer depends on any runtime values (except for, possibly, the operator implemenetation.)
2. It supports stuff such as (x =) and (.to_bytes).
Ignore ExpressionR's when deciding if the input is complete.