Variable: key-substitution-in-progress

Used internally by `substitute-key-definition'.