Updated Documentation pages and pdf export

Reworked major parts of the language specification, unified messaging syntax with inner functions (now messaging is more similar to inner functions).