As an example, The TeXbook does not explicitly define what a 'blank token' is but it does introduce the terminology to describe parameter scanning quite precisely.
I could not find any hint of 'implicit' (or frozen as you call it) \relax in it.