Remove unnecessary recursive collections

[comnik]

It might make sense to have an option for the frontend to annotate Rule's as not requiring recursion. This would allow us to avoid creating a Variable and to create a Collection directly.