Drop unused `structure Atoms.Vars : SET`.
Complete `sharing` constraints for `signature ATOMS`.