Fix intern_scheme

Type variables should be rigid there

Unused variable in inferTypes
Fix infer_class

Gather all constraints into one scheme (no duplicate class predicate)
Undo mistake

Methods should be assigned flexible type variables
Process class predicate annotations
Erase unused variable