More concise Zipped and other experiments

[jakezweifler]

No description provided.

[k4rtik]

Hi @jakezweifler

Can you modify this PR so that only the relevant changes are added to the file?

Also, I am getting the following error:

PlatiniumM1Pro in lambda-qs/src/elab/labs/whiley-boogie on  jakezwei.
❯ wy clean && wy build
src/main.whiley:43:unable to resolve internal name (std::array::equals)
    most = array::remove(l, |l| - 1)

Could you make sure your changes work fine on the most recent versions? I have

❯ wy --version
wy 0.6.0

❯ boogie /version
Boogie program verifier version 2.15.7.0, Copyright (c) 2003-2014, Microsoft.

❯ z3 --version
Z3 version 4.10.2 - 64 bit