Fix soundness bug- unioning no context with something that has context

[oflatt]

I wish that we got an error instead of a lack of saturation. We should think of some sort of check we can do