On 12 Apr 2011, at 19:59, Matt W. Benjamin wrote: > extensible-union sounds reasonable. I like extensible-union, but I wonder if we'll all get very bored of = typing it. Is there an abbreviation that still makes sense? Cheers, Simon.