Write the function sum-leaves that consumes an BT and produces the sum of all the values in BT. The sum of the leaves in an empty tree is 0.