Semantics: include version 3, section 5.2 Infix Primitive Application