add more of Aldo's notes on model theory