Simplify type scheme internalization in infer_class.