Update PProc to be Env Monad (working)