add failing test for order of type variables with class constraint.

see tests/pos/tyvar.hs
disregard class constraints in freeTyVars.

GHC appears to do this...