ScopedTypeVariables is no longer used in Filesystem loader.
Factor Freshness tupling in filesystemLoader.