21. Types and saturated models

Introduces complete types, realized and omitted types, saturated models, and homogeneous models. Learners use types to describe possible elements and extensions that individual formulas cannot capture alone.