infer quals
add some tree traversals
clean up singly linked list
get a few things shipshape
tree traversals