Added a mutual recursion example and some more documentation.
Funnily, the mutual recursion already works because the type of both even and odd can become concrete without knowing the type of the other function.