proper make_itree and itree_impl classes
fixed tests