Create SetTheory.jl