Union size issue

[RedBrumbler]

As demonstrated in this file Unions still cause issues,

here the issue is that the union of MapType and the 4 quants is seperated out into fields, causing it to mess up the size check for the object. This means that the generated project does not compile due to the size checks there.

A hacky fix is of course removing the size checks there, but eventually properly having unions is the expection (I assume)

Just putting this in so it's an issue that can be tested on