remove old stuff
first version of braun trees

- includes type definition,
- same structure proof, and
- definition of insert