Added EqB instance for booleans and some TODO comments for unfinished stuff.
Implemented support for native if-then-else branches, without using the ugly hack.
Fixed the fib example. Now it works again.

Removed the canvas playground stuff from the fib example, because there is the canvas example for that.