get stateful ml_hol_kernel and ml_monad working