Added settheory package and initial classes. No tests done, lots to add.