Substitutions.py: Never store substitutions

(we don't want that kind of recursion).