WIP: convert TestInfer to the shared tests.  Incremental progress on Infer.hs