Make 'Vault' type spine-strict and value-strict.
Add strict and lazy variant of the `Vault` data type.