Add type EnvWithEither
Add transaction
Chagne return type of PProc
Add doctest
implemnet plus