README: ADT.match