Finished implementing binary tree, however balancing was unsuccessful
Added Fixed points with Y combinator