Add AbstractDataType Traverser