[spec] better clarify the difference between a runtime type object and a static type

[carljm]

See #1743 (comment)

[carljm]

I think there is overlap between this and clarifying the use of the term "concrete type": #1781

Might make sense to address them both in a single PR.