Two tree types

- one uses Maybes for every Node, the other uses Empty for Empty trees.