Rewrite Tree module to use own binary trees. Improved types.
Implemented simulation. Ugly outpu for now.