adding finger trees