New hierarchies of AND/EXOR trees, decision diagrams, lattice diagrams, canonical forms and regular layouts