Hint for which keys, which value types is required
@override final Map<ValueWithType, StorageType> typeForKey;