Assembled Structural Typing

I think I finally came up with the concept of typing I'm going to use in webseer. I've essentially been staring at the screen for the past several days doing nothing and trying to figure out how to make the system as powerful and usable as I imagine in my head. I've been reading programming language books and Wikipedia, in particular studying multiple inheritance, structural typing, duck-typing, along with a host of other interesting typing possibilities. I've been search for a typing system that is much more flexible than a traditional typing system. Obviously, there is no ONE way to do something, everything has benefits and liabilities. But I've finally settled on something that doesn't make me squirm for my own vision. It's going to be something like structural typing, only facilitating generic type structures more easily. Otherwise, the inputs to the functional units will be typed, but typed only in their labeled structure. Types can be saved with names to facilitate ease of usage in the function implementations, but in the graphical editor, the types can be generically assembled on the way in to the function to give you the ability to morph object structures to fit the function. In complex data types, this type of structure induction would be very difficult, but for most of the cases I'm considering it's quite straightforward.