More transcript updates

Author: dolio

unison-src/transcripts/idempotent/fix693.md

@@ -43,8 +43,8 @@ h0 req = match req with
 ``` ucm :added-by-ucm
   Loading changes detected in scratch.u.
 
-  I found a value  of type:  a
-  where I expected to find:  b
+  I found a value  of type:  Optional a
+  where I expected to find:  Optional b
 
       1 | h0 : Request {X t} b -> Optional b
       2 | h0 req = match req with
@@ -63,8 +63,8 @@ h1 req = match req with
 ``` ucm :added-by-ucm
   Loading changes detected in scratch.u.
 
-  I found a value  of type:  t
-  where I expected to find:  b
+  I found a value  of type:  Optional t
+  where I expected to find:  Optional b
 
       1 | h1 : Request {X t} b -> Optional b
       2 | h1 req = match req with