TC: honor the use_typeclasses flag in pretyping