Convert find_terms using choice computation expression
Convert dest_binder and mk_binder using computation expression