Handle forgotten case

When only one single case is written and it is not "pure": some inner
arguments in the pattern match case are bound to constants or there are
guards associated with the case...
Some sequence was empty while it was assumed to be non-empty
Merge pull request #702 from OkayX6/fix-union-case-gen-crash

Fix union case generation crash
Handle abbreviated union types for code generation