fill Var class
deep commutativity/associativity