SAT/BoolExp.hs: canonize for reduction data size (version 0.1.8.4)