IR: Broke up Type/Value_Multi into Array, Assoc, Tuple, and Union.