Switch Variant, Variant compilation added
types: fixed type Variant expansion, added Variant's raw representation
typeinference, attachments: added TypeInferred attachment to suggest expression type to inference engine
compilation: AdvancedInstructions.compileSwitchVariant, compilepass(Operator::VARIANT)
tests: Compilation.full_Variant1, Compilation.full_SwitchVariant1