Cosmetic changes; added sections on notation and on objects;