mathlib3

0602c598 - refactor(model_theory/*): Use `countable` in model theory (#16496)

refactor(model_theory/*): Use `countable` in model theory (#16496) Uses `countable` instead of custom classes in the model theory library. Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>