Adding more implementation notes for AST