Remove the set datatype. Replace domains with maps

Spaghetti can no longer be made to act deterministically due to timing
issues. We replace the set datatype with map[tt.Rat]bool for domains as
they are more light weight and require less code.