Allows representing and combing attributes on recursive processing of data structures, similar to attribute grammars.