MichelsonMapElt: PrimX<"Elt", [MichelsonData, MichelsonData]>