Make scoped type vars work only for explict Alls and annotations.

Solves major issue disscussed on PR 13586.
Closes PR 13622.