add compactness and downward LS sections to completness chapter
added model-theory chapter with first half of "Rudiments of Model Theory" section from Aldo's notes