rename kind::IN to kind::MEMBER (fixes some windows build conflicts)
theory/sets: cleanup
Merge pull request #12 from kbansal/in-to-member

rename the kind IN to MEMBER