Add initial avl.tla
initial AVL commit
Add util module
Fix issues with util/tree
Add bst
Simplify tree module

tree module just has some utility functions
Working on avl tree
New commit, binary search tree
Checkpoint
Initial algorithm
Checkpoint
checkpoint
checkpoint
checkpoint
Checkpoint, going to define descendents
checkpoint
checkpoint, trying to initialize
checkpoint
Checkpoint, working on an error
checkpoint