I think I'm for this. If you provide a name with no base type, it should work like this. Bearophile, have you considered making a pull request? I doubt it would be too hard in the compiler, and then we can try it to see what code breaks. I imagine if any code breaks, it'd be easy enough to fix with changing to the item or inserting a cast.