ExtractInfix.ref is actually a Term.Name, not a Term.Ref