SET
  VarSet      = set(str)
  VarLabPair  = str * snum

DOMAIN
  VarLabPairSet = set(VarLabPair)
  VarLabPairSetLifted = lift(VarLabPairSet)