prepare

Makes sure type's storage exists, so its facts are the storage's own.