Improve binop elaboration in synth mode#501

Open

Kmeakin wants to merge 1 commit intoyeslogic:mainfrom Kmeakin:better-binop-synth

+345-183

Commits on Feb 12, 2023

Allow synth_binop to infer the expected rhs type from the operator and lhs type
Kmeakin
committed