[shell] added: pretzel asynchronous shell
[monad] added: proxy monad