Flattening 'lib/adt' into just 'adt'