We do simplify implicit unification.
2 should get simplified in the same way as this.

-- a.cue --
x: string
x: "hi"
-- out/trim-v3 --
== a.cue
x: "hi"
-- diff/-out/trim-v3<==>+out/trim --
diff old new
--- old
+++ new
@@ -1,3 +1,2 @@
 == a.cue
-x: string
 x: "hi"
-- out/trim-v3-noshare --
== a.cue
x: "hi"
-- diff/-out/trim-v3-noshare<==>+out/trim --
diff old new
--- old
+++ new
@@ -1,3 +1,2 @@
 == a.cue
-x: string
 x: "hi"
-- out/trim --
== a.cue
x: string
x: "hi"
