Check and add 'repeat EU' constructor to EU context

[anlun]

Check if one needs to add constructor 'repeat EU' to context EU.
One of the reasons not to add it is that we don't want to make reductions under 'repeat', e.g. the 'choice' operator.