Fixed width inference bug where later constraints on the output width were not propogating to the input widths, for primops

get flo emission creating legal flo files

Fixed performance bug in expand-when where equality between the consequence and alternate were always assumed different, causing a huge blow-up in logic

Reordered resolve-kinds and make-explicit-reset to fix bug where reset, if referenced, has an inferred kind

Fixed bug in primop lowering during type inference. Added reduce instructions and renamed concat -> cat, equal -> eq, and added neq and neg