Compare class-based, prototype-based, structural, and nominal object models. Design method lookup, inheritance, interfaces, traits, and dispatch while managing ambiguity and substitution rules.