Extend ToolDef language reference manual
The ToolDef language reference manual is incomplete. E.g. the statements are not explained. Explain all that is relevant about the language, including aspects form the grammar, parser, type checker, and interpreter.