Add monad rpn solver