Optimize eq_typ_acc by only using acc for structs
Optimize eq_typ_acc by only using acc for structs

The problem of recursive types solved by acc only concerns structs.
By adding adding and checking all types, the list grows large and List.exists becomes slow.
Hence it's sufficient to just do it for structs, which keeps acc much smaller.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer