[nick_]

This is a great ability actually.

That said, I think I'd prefer the addition of structural inheritance to the existing nominal inheritance. Also, algebraic types.