WIP: refactor all references to the varmap representation in preparation to
make it switchable to SatMap.
Change the common interface to VarMap.