Also add old-style vectorof to mzlib/contract. original commit: 3028f2d1424123d076a95572a7564b8fb069a86e