User blog comment:Emlightened/Hypernomials (Γ₀)/@comment-5529393-20160120163011/@comment-5529393-20160125234944

But in your generation rules the right term is always an integer, unless it is XX. So you are never going to get an "unrestricted" right term. Same for the left term;  the only thing that can be an aribtrary term is the middle term, so you can only nest inwardly.