Simple flattening added to Unbox
I've had an epifany about flattening! It's really simple and doesn't require
any changes to the vector types. All we need to know is how to allocate
mutable arrays, write to them and then convert them to immutable arrays.
Then we can have a dedicated function 'storeFlat' which stores the vector
in a flattened form.