Work on high level ASF IF doc: t+