Compound expanded with insertAt and add (very convenient  for tuples, see ElGamlMixing example)