Remove cruft
Split off set theory to its own repository