¿Puede el tipo Value almacenarse a sí mismo? ¿Y es realmente esta afirmación cierta para todos los representantes de los tipos value?

No, el tipo de valor no puede directamente contener una instancia de sí mismo. Intentar definir en una estructura o enumeración un campo del mismo tipo resultará en un error de compilación, ya que esto crearé un tamaño infinito.

Sin embargo, el tipo de valor puede contener una instancia opcional de sí mismo (Self?), una referencia a una instancia de otro tipo (por ejemplo, a través de una clase) o usar indirección (Indirect) en enumeraciones.

Esto es cierto para todos los tipos de valor (estructuras y enumeraciones).

Ejemplo:

// Error de compilación: el tipo de valor no puede contener una propiedad no opcional de su propio tipo
// struct MyStruct {
//     var myself: MyStruct
// }

// Variante con opcional
struct MyStructWithOptional {
    var myself: MyStructWithOptional?
}

// Variante con referencia a clase
class MyClass {}
struct MyStructWithReference {
    var myReference: MyClass
}

// Variante con indirección en enum (permite casos recursivos)
indirect enum MyEnum {
    case case1
    case case2(MyEnum)
}