adds notes to abstract data types