Destination flipping for `add!!(x, y)`

Right now add!!(x, y) will only ever mutate x, never y.
because of the logically linear nature of AD, y being a differential (i.e. the output of pullback) means it is used exactly once .
Which means we are infact free to mutate it, also since this will be it's only use. (same also says why we are always ok to mutate x)
See https://github.com/google-research/dex-lang/issues/401#issuecomment-756996758
(and to a lesser extent https://twitter.com/oxinabox_frames/status/1387722380978622468)

So we could pick either x or y depending on which was a valid inplacable_destination.
And maybe also always chose Array if one of them is an Array (since that is the best destination if that has been allocated)

This would solve at least the basic cases of #345

Inspect the add!!(x, y) implementation and the inplacable_destination checks first. Compare how x and y are handled, then validate destination selection against the basic cases referenced by #345, including the Array preference if that behavior is adopted.