variable names in Term
start to adjust Environment

The final piece missing is converting from Id to unique tags
uniquify where due
provisional code for the generation of ty/data cons