Make the basic term for a TInstance be "type"

Renames methods and local variables. The changes are pretty extensive, but 100% IDE driven, so I am reasonably confident.

There may still be some remaining patterns I didn't look for. The only one I know of it TClass.instance(), for which I couldn't come up with a superior name. typeInstance() or newInstance() didn't seem to add anything and newType() suggested a whole new type class to me. Any good idea is easy to do at this point.