try to clarify syntax upgrade for infix definitions