runtime: support List<Void> --> List<struct> upgrade
tests: some List<prim> --> List<struct> upgrades