fix extraction of ZeroT type

It has to be defined to be of type "Set".