public JST.Identifier FreshenArgument(JST.Identifier id, TypeRef type)
{
var newid = NameSupply.GenSym();
var cell = new VariableCell(newid);
Bind(id, cell.Read());
CompEnv.AddVariable(newid, ArgLocal.Local, true, true, type);
return(newid);
}
public Identifier Freshen(Identifier id)
{
var newid = NameSupply.GenSym();
Bind(id, newid.ToE());
return(newid);
}