New wrapper types

[timotheeguerin]

Creating this design issue from #4546 and previous discussions where we'd want to have a way to decorate/augment certain things that currently are just references to another types and so have no actual targetable entities.

This includes things like

• Array element type
• Operation return type

This probably could be sorted in the type graph by adding a secondary property

returnType: Type;
returnTypeExpanded: ReturnType

But it also going to be an intresting problem on how this work with augment decorators as things like that already navigate to the reference myOp::returnType