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

new chisel3 tests

Learned to fork.

Corrected register init by adding initialization of registers pass after lowering. Finished expand-whens. Needs more thorough testing of instances