Use VARIDS in NormalForm expression

After tweaking the set operations in NormalForm.restrict, DPLL sat
is significantly faster. Looks like about 20-30%.