This is an embarassing one: a missing occurs check meant that a type-incorrect
program could leak through.  Yikes!  

(An indirect consequence of extra complexity introduced by boxy types. Sigh.)

Merge to 6.8.4 if we release it.