equal aggreg kind object associ end kind type impl equal aggreg kind associ end kind type 