pub fn infer_rec<'a>( env: &'a TypeEnv, def_list: &'a [&'a str]) -> Result<BTreeSet<&'a str>>
Given a def_list produced by the chase_actor function, infer which types are recursive
def_list
chase_actor