Store quantifier variables in lists.

We used to store quantifier variables in sets. Sets, however, are unordered. As
a result, our tableau algorithm was non-deterministic and harder to analyse.