Choice and ArrowChoice for R1
Added Mealy Machines (L1)