Infer.Deref also decycles
New decycle interface
Towards two-phased unify recursion
Infer: Rename is a separate phase
Rename left->right not right->left
Infer: Two-phase recursion that renames recursively