SVI Исправления

docs/prolet-dialect-typing.md

@@ -193,7 +193,7 @@
   @поле2: Список.Целое)
 
 (// Использование через приведение)
-(если-тип как ФорматV1 х
+(если (тип-факт х как ФорматV1)
     тогда читать-из "data/sample.json")
 ```