Revert type key change from 0a6537a6cbed7ca477d153

Sets are still treated as hash sets. Eventually
when we have a type for generic sets, it should have
a #f type key.