simplify RecursiveResolveTypes and ResolveTypes by pulling the naming out of