Also pack the derivation depth along with the count.
For 0-arity tuples, check many before calling add_new and only create new leafs when many is positive.