semantic: Transpose the binop primitive handling into extyper.