add value_binding.ml