Enable ScopedTypeVariables for tests/Regressions

Otherwise the module doesn't compile