evaluating vars to their values, recursive environments.