Typing support for common proxy and delegation patterns

Ah yes, support for generics is crucial indeed, and I do like the proposed magic superclass.