Make the basic term for a TInstance be "type" in a bunch of methods and local variables.