Revision history of "are all elements of the list the same type" (Z13220)
ꯈꯟꯒꯠꯂꯕ ꯈꯦꯠꯅꯕ:ꯑꯃꯨꯛꯍꯟꯅ-ꯌꯦꯡꯕꯁꯤꯡ ꯆꯥꯡꯗꯝꯅꯅꯕ ꯔꯤꯗꯤꯑꯣ ꯅꯝꯐꯝꯁꯤꯡꯗꯨ ꯍꯛꯆꯤꯟꯂꯨ ꯑꯃꯁꯨꯡ ꯏꯟꯇꯔꯗ ꯅꯝꯃꯣ ꯅꯠꯇ꯭ꯔꯒ ꯈ꯭ꯋꯥꯏ ꯃꯈꯥꯒꯤ ꯅꯝꯐꯝꯗꯨ ꯅꯝꯃꯨ ꯫
ꯂꯤꯖꯦꯟ: (ꯍꯧ) = ꯈꯦꯠꯅꯕꯁꯤꯡ ꯂꯣꯏꯅꯅ ꯈ꯭ꯋꯥꯏꯗꯒꯤ ꯑꯅꯧꯕ ꯱ꯑꯃꯨꯛꯍꯟꯅ-ꯌꯦꯡꯕ, (ꯃꯃꯥꯡꯒꯤ) = ꯃꯊꯪ ꯃꯊꯪ ꯂꯥꯛꯄ ꯑꯃꯨꯛꯍꯟꯅ-ꯌꯦꯡꯕꯒ ꯂꯣꯏꯅꯅ ꯈꯦꯠꯅꯕꯁꯤꯡ, ꯃ = ꯑꯄꯤꯛꯄ ꯁꯦꯝꯒꯠꯄꯅꯤ ꯫