Fix comparison

- 0 1 ?lt should hold
Support variable binding