Equations for 20.trs

Equation 1

inc(s(tl(inc(nats)))) = nats

Equation 2

y = 0

Equation 3

hd(y) = :(s(0),tl(:(hd(0),:(x,x))))