Moved to the use of FreshT.
Moved to the use of FreshT.
Actually fixed Show Type.
Removed the last bit of VarFactory.
Renamed 'Constant' to 'Literal'.