Translate constant Nil, Cons. n-ary tree encoding