monads.ml: add TP2 to Error, make Error.run less exn-y