Change interface to be set-like
Declare minimal interface for DPDAs