Add definition of Interpretation monad stack, with Values.