added DO AST; started DO sema