Complex conditionals (cond, case) and generalized dataflow combinators (cleave, spread)