I.D16 — NF Address Encoding

Every object x in Obj(tau) has a normal form X = ((A^^C)^B)*D via greedy peel-off of tetration, exponentiation, multiplication, and radial index.