semantic: Rewire binop assigns to extypeAssign.