Simple variants of runT and bindT

[KingoftheHomeless]

A modified variant of @tek's simple runT and bindT implementation. In comparison, this version:

• Doesn't require any extra type variables
• Allows the new combinators to also be used in reinterpret/2/3/H, and not just in interpretH
• Calls the combinators runTH and bindTH instead of interpretHO and interpretBindHO.

This partially adresses #386.

These names of runTH and bindTH still aren't final unless we want them to be.

[isovector]

TH sounds like template haskell to me. What is the H supposed to suggest?

[KingoftheHomeless]

"Higher". It's a kind of reference that the corresponding action that would be returned by runT is interpreted recursively and run immediately.
... Yeah, the names aren't stellar. As @tek 's pointed out, we'd ideally express it as monadicallySequenceEmbeddedHigherOrderThunkAndRunCurrentInterpreterOnIt, but that's just a tad too verbose.

[tek]

... Yeah, the names aren't stellar. As @tek 's pointed out, we'd ideally express it as monadicallySequenceEmbeddedHigherOrderThunkAndRunCurrentInterpreterOnIt, but that's just a tad too verbose.

looking at the doc, we can even replace Thunk with Continuation to get full Bingo

[KingoftheHomeless]

We decided to come full circle and name them runTSimple and bindTSimple as per the original suggestions in #386.