Added monads for...

Trampoline -> Free monad that transforms recursive functions from stack to heap
Stream -> Lazy sequences done right
ConsList -> Immutable list with structural sharing.