Rename types3

This is just things with types3 (or t3) in their name. It is not PValue -> Value or TInstance -> TypeInstance.

I let IntelliJ do this to reduce the risk of problems.