Playing with the idris tutorial.
Add a binary tree module.