Add type mixins to overcome subtype limitations

[Tamas_Papp]

@Stephen_Vavasis

I would say that the Julia type system is nearly optimal for scientific software.

You are correct, but AFAIK the issue is more general and the arguments in favor of composition over inheritance apply equally well outside scientific software.