bintrees => bintree
a solution to TGTLRP using tuples