Consider making the atom set a parameter instead of index

[ibbem]

This would allow all our variability languages to be Set instead of Set₁ because parameters can be of arbitrary levels.
An impression of such a change can be found on the branch fixed-atoms.