Update type matching between different ASTContexts to handle types with cyclical references.