A module that implements weight as the depth of a tree (the number of nodes does not matter. The smaller, the better

A module that implements weight as the the lexicographic order over (depth, size) of a tree (where size is the number of nodes). The smaller the better.