added type-level-bst 0.1