I guess the conservative union type is the set of all types in the symbol table