Add 'choice.eff' example in the new syntax for a quick check that everything works.
Add 'choice.eff' example in the new syntax for a quick check that everything works.

matijapretnar/eff,andrejbauer/eff,matijapretnar/eff,matijapretnar/eff,matijapretnar/eff,matijapretnar/eff