202210210229

Redefine restricted SequencesExt!Zip.

Addresses Github issue #78
https://github.com/tlaplus/CommunityModules/issues/78

[Feature]