Add abstract to adt-synthesis