Fixed ADT include directives; they were not ADTs but their own include directives. :P