Refactored BST in CL
Binary search tree in AGDA