Reintroduced the TYPEQ-AST with more comments.