add evaluation of binding

now work eval of:
let add x y = x + y
add 1 5
add