Update external ADT example in README