Pure functional representation of sets (as boolean expressions) defined in class FuncSet