Add monad.h

This file contains class `monad`, `monad_ptr`, `null_binder` and `unit_binder`.