Introduce an abstract Value type for high level Grin.
Make VarArgs "better".

Improves switch a fair deal, since now match isn't needed on
alternatives. OTOH types now are. Slightly better, but not
perfect.