fileDomain: equal and leq with lists