Types.makeGenericType and tests.