Added basics for sets and cleaned up some stuff

Sets are really just syntactic sugar over anonymous types. Same thing,
just slightly different definition.