Create the appropriate interpreter monad to be called by "runFree/induce"

This allows us to play with the interpreter. I still need
to find a better way to test strategies than the terminal.