Less copying when resolving type structures