Trivial and bad restructure
dreadful mess
traversal skeleton
now returning RTree - about to try node destruction
successfully collapsing singleton branches
Merge new persistent Context type
some changes probably
C++ified the type checking
Added new files
Type annotation
Merge neil changes