[kbp]

Right, they describe different aspects of how types work in a language.

[enginaar]

Thanks. I appreciate the time you took for clarifying in detail.