module LambdaCalculus::Variable0

def bind(value, env)
  env.merge(name => value)
end

def to_s(env={})
  env.has_key?(name) ? env[name].to_s : name
d