Add join, refactor flatMap, improve unamb perf

Add monadic join() and reimplement flatMap using it.  Massive speedup for unamb() operator.  Remove mergeAll (in favor of join). Remove *On variants from public API.
Update examples to use rave 0.4