An Operational Approach to Combining Classical Set Theory and Functional Programming Languages