semantic: Correctly forward binops to extypeAssign.