[spec] define or replace the term "concrete type" #1781

This term is used in a few places in the spec, but never defined. I think it is intended to mean "a type specified by the name of a Python class." We should either give a clear definition for the term, or replace its usages.