Adding functional binary search trees