A Continuation monad with Symbolic Stacktraces

A first attempt at implementing symbolic exception stacktraces in computation expressions using reflection.