Yes, I was thinking in terms of predeclared types as well, but didn't actually come up with a proposal. I like the idea a lot since it doesn't clutter the actual code with any more syntax, so it doesn't make the code look any more difficult. In your examples you have only declared one attribute per type though. How would an integer with both foo and bar look like?