reworking if for 'if-else' - ditching phi nodes, using return value on stack, suppposedly llvm can deal with it
Enum-Match compiles and runs without crashing. TODO .. test output and finish details of cases. So far we've tried pattern-bind to a single variant, and destructuring acess.