Informal Semantics for the TL07 Language

Errata/Clarifications