Implement let bindings, global bindings (defs), conds and cases. Use
universal zip again.