Remove unnecessary recursive collections

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.