added comments about what semantics means
finished stream rules
shortened
12 pages