Annotated Term for tree-like ADT exchange