New Polymorphic option type..

[Daniel Wang]

"Stephen Weeks" <sweeks@intertrust.com> writes:

> OTOH, if you want a type that is propagated in a special way through
> the entire compiler (like ref, array, or vector), then this is not
> such an easy thing to do and I would recommend against it.  If you'll
> explain why you'd like to I'll be happy to try and help find away
> around this. 

arggh... I just realized I was hacking around a bug that I introduced...
I updated extract-args.fun in a way that was causing code to break, and  I
thought that it was because I was doing something silly and need a real
polymorphic option type...