Implementation of vector build function have a nasty reinterpret_cast

[msullivan]

Because we couldn't infer purity, we use reinterpret_cast to make the push functions passed to the build_sized functions in vec and at_vec have the right type. Once the fix for #3023 gets snapshotted, we should fix this.