Moved settheory package to another project.