ML Expressions and Variable Bindings