combinators back to using lazy state and writer due to problems with fixed
point resolution for recursive bindings.  Also, changed `forkB` to `splitB`
for reasons outlined in changelog.