Parameter inference is now more accurate when used in a binop.