added a whole lot of folding homomorphism laws