Transforms all types to generics, and all constructor calls and method calls into generic call factories.