TypeArguments now work on DefaultResolvedTypeDefinition.