Move path to context object and updat InvalidType error

Author: DZakh

IDEAS.md

@@ -9,6 +9,7 @@
 - Fix refinement on union schema which also uses `S.to`
 - TS API: Removed `S.transform` in favor of `S.to`
 - Add `S.uint8Array` and `S.enableUint8Array`
+- Updated `InvalidType` error code to include the received schema
 
 ### TS
 

packages/sury/src/S.resi

@@ -256,7 +256,12 @@ and error = private {
 and errorCode =
   | OperationFailed(string)
   | InvalidOperation({description: string})
-  | InvalidType({expected: schema<unknown>, received: unknown, unionErrors?: array<error>})
+  | InvalidType({
+      expected: schema<unknown>,
+      received?: schema<unknown>,
+      value: unknown,
+      unionErrors?: array<error>,
+    })
   | FailedTransformation({from: schema<unknown>, to: schema<unknown>, error: exn})
   | UnsupportedTransformation({from: schema<unknown>, to: schema<unknown>})
   | ExcessField(string)