Document AnyType and external ADT contracts.