Convert first layer of `vivify` to Cadence.

See #375.