See if imported mixin types can be used some places, instead of inlining every attribute

[tajakobsen]

• E.g. In option-sets (maybe other sets) if every child variable comes from a mixin, it could be more elegant to use a union of the mixin-types, instead of inlining.
• Maybe Item-sets are similar?