Use intern_scheme in infer_class