Wasn't <:ctyp< $id$ >> used for something else already?
I thought that id is used for regular types, according to the above.
I tried to see what variant type defs expand to (below).
me to figure this out?
This is matched by $id:uid", correct?
Is there a "shortcut" for TyOr and TyVrn?
I'm afraid I'm still lost here, thus my asking for more information.