Commented code to avoid STRJ errors and fixed typos
Rules for case, variants, selection

Branches are typed using an additional internal constructor
BRANCH-TYPING by an escape to the (Stratego) meta level to
save an additional judgment.
Layout changes
Removed unnecessary rules and judgment syntax
Translate "in decl" judgment
Tests for selection, variant, and case