Make skolems uncached
Make skolems uncached

There was no reason in the first case to cache them, as their
equality is reference identity. Maybe this fixes the OOM errors
we encounter.

lampepfl/dotty,lampepfl/dotty,som-snytt/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,dotty-staging/dotty,sjrd/dotty,som-snytt/dotty,dotty-staging/dotty,som-snytt/dotty,densh/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,densh/dotty,sjrd/dotty,som-snytt/dotty,som-snytt/dotty,sjrd/dotty,dotty-staging/dotty,lampepfl/dotty