A type allocating space for future, additional, and validatable data.