Add ScopedTypeVariables.