ScopedTypeVariable and bugfixes to explicit forall.