Является ли `dyn_array` тем же, что и `vector` или предложенный `dynarray`?

Нет. dyn_array — это контейнер, подобный vector, но не допускающий изменения размера; его размер фиксируется в момент конструирования во время выполнения.

Это безопасный способ работы с динамически выделенным (в куче) массивом фиксированного размера. В отличие от vector, он предназначен для замены array-new[]. В отличие от dynarray, который обсуждался в комитете, этот тип не предполагает магии компилятора или языка для размещения на стеке в случае, когда он является членом объекта, размещённого на стеке; он просто ссылается на «динамический», то есть основанный на куче массив.