Wrote some introduction text.
Introduced TYPEQ-AST previously omitted.