testcases for inference

These range from trivial to quite nontrivial. I plan to keep writing these until we have a nice little library. Right now each testcase only insists that souper can verify the (by-hand) inference. As our inference engine comes online, we'll start to ask that it infers the RHSs.

N.B: We're still unsound if there's UB on the RHS.