Module voile_util::tags

VarRec, PiSig, etc.

Enums

PiSig	Various kinds of dependent types
Plicit	Visibility of a parameter -- it can be explicit or implicit
VarRec	Row-polymorphic types.