ml_hol_kernel works, all monadic funs translate
avoid pointless state rec fun translations