I checked and we actually have a give union for everything. I didn't mention it because I accidentally got rid of it when simplifying my question (the original

I checked and we actually have a give union for everything. I didn't mention it because I accidentally got rid of it when simplifying my question (the original is full of macros). Looks like we are in the clear! :)