Evaluate `val' and `var' bindings in the environment in which they were defined

Evaluate `val' and `var' bindings in the environment in which they were defined

Until this change, you could create a program such as:

  val mine : your_domain = "mydomain.org";
  val not_mine = mine;
  val mine = "not-my-domain.org";

  dom not_mine with end;

And domtool would happily configure "not-mydomain.org" for you.