(declare-sort foo 1)