Scoped type variables in instances

[sweirich]

If type class instances use scoped type variables, they will fail.

There is an explicit comment in the function HsToCoq.ConvertHaskell.Declarations.Instances.topoSortInstance:

-- ASSUMPTION: type variables don't show up in terms. Broken -- by ScopedTypeVariables.