Only require invariance on type params that are unions, not on all unions

[kevinbarabash]

e.g.

let foo = fn(mut arg: A | B) { ... };
let mut a: A = ...
foo(a); // this should be allowed

let bar = fn(mut arg: (A | B)[]) { ... };
let mut array: A[];
bar(array); // this should still be prohibited