ShieldedSeq now has a normal Count property.