Valiant variants

Uses variants instead of sum types for most types that pass through a JIT layer. This makes generated code more resilient. Also slight speed improvements.