Fix #54.

The problem was that GADT type inference was failing. So, we now
spit out a critical type annotation that gets it moving again.
Prune impossible case branch.
Remove "quickly" test.