Recursively merge struct environment #34
Description
Currently, the struct environment contains a choice of StructTag. If a choice is redeclared in different contexts, this causes unnecessary computations. Instead, there should be only a single structTag with inner variations. The struct information should be merged recursively to describe the correct contexts with local variability.