A polygonal version of Kenyon 2. The edges are generated by the morphism: a->b, b->c, c->d, d-> b’a’ (where x’ is the inverse of x).
