[racket] non-terminating type check for typed racket

Hi Sam,

Ok, I've reduced the example to a smaller, self-contained 188-line
program, with a bunch of type declarations followed by a trivial
function definition:

      http://hashcollision.org/tmp/test-types.rkt

It's the definition of collect-primitive-command there that takes
several minutes for me.