Cosmetic changes; added sections on notation and on objects;

new grammar (global, '==').