deftypes -- add a rule about foolist-fix under iff