Support variants

Variants are composed of a tag and a value. Matching consists of
checking first the equivalence of the tag and then recursively matching
on the value. Booleans are just #true() and #false() (as before, but
now with a Hole()).

Author: tekknolagi