Lean Model Theory