- Added the computation side to bind (it was missing, this has to be
added in the semantics as well)
- Added more syntactic sugar (mostly dealing with evaluation and the
selection streams)
- Implemented fibonacci:
   running an evalrr1 fib 100 should print out n fib(n) for a few
consequtive ns. Useing evalrand gives a random interleaving.