Don't turn on typeclass debugging permanently

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Remove pointless induction.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>