add debugging properties to AST nodes (#589)