Add typed-untyped interaction test harness
Rackety in TR tests
Fix rest arg contract generation for case-> types

The generated contracts are still not ideal when more than
one case has a rest argument, since a later case in the
case-> contract may pass but case-> won't try all of them.