Functions
Gather type definitions mentioned in actor, return the non-recursive type names in topological order. Recursive types can appear in any order.
Same as chase_actor, with seen set as part of the type. Used for chasing type names from type definitions.
Given a def_list
produced by the chase_actor
function, infer which types are recursive