Documentation. Interpretation, Modules, Syntax(partially) chapters added

Syntax:

• records and lists denoted as {...},
• loop fold inf renamed loop
• loop saturation annotation renamed: break -> final
• modules syntax changes

Transcend:

• Modules API changed
• Interpretation API changed

Tests: AST.Doc_*, Interpretation.Doc_*, Loop.Doc_*, Modules.Doc_*