Find a good way to show custom types to user

[KilDesu]

As the title says, it would be great to find a good way to be able to show the users the definition of Quaff's custom types.
Today, we have a semi-working solution that stops working for nested types and when more or less complex union types are involved