Matt Todd wrote:
> Of course, this only works as far as what we can actually do with the
> complexitiy of methods. I'm not really sure what's intended for
> 'overriding' because it's a little ambiguous (to me, at least). But
> 'validate' works.

To add some more confusion, I would have thought first-class annotations 
as something to be processed (also) before runtime - though probably 
causing at worst warnings by default to get the dynamicity reduction 
threat out of the way.

I can't yet decide if I'd like features implementable with both 
annotations and already existing metaprogramming facilities in one or 
the other. There's the efficiency demon on the left shoulder, and the 
metaprogramming imp on the right...

David Vallner