fix(rt): align transparent pointer casts

Author: Stevengre

kmir/src/kmir/kdist/mir-semantics/rt/data.md

@@ -1265,7 +1265,7 @@ the `Value` sort.
 Conversion is especially possible for the case of _Slices_ (of dynamic length) and _Arrays_ (of static length),
 which have the same representation `Value::Range`.
 
-When the cast crosses transparent wrappers (newtypes that just forward field `0` e.g. `struct Wrapper<T>(T)`), the pointer's
+When the cast crosses transparent wrappers (for example newtypes that just forward field `0`), the pointer's
 `Place` must be realigned. `#alignTransparentPlace` rewrites the projection list until the source and target
 expose the same inner value:
 - if the source unwraps more than the target, append an explicit `field(0)` so the target still sees that field;

kmir/src/kmir/kdist/mir-semantics/rt/types.md

@@ -77,15 +77,14 @@ Pointers to structs with a single zero-offset field are compatible with pointers
   syntax Bool ::= #zeroFieldOffset ( MaybeLayoutShape ) [function, total]
 
   rule #zeroFieldOffset(LAYOUT)
-    =>      #layoutOffsets(LAYOUT) ==K .MachineSizes
-     orBool #layoutOffsets(LAYOUT) ==K machineSize(mirInt(0)) .MachineSizes
-     orBool #layoutOffsets(LAYOUT) ==K machineSize(0) .MachineSizes
-
-  // Extract field offsets from the struct layout when available (Arbitrary only).
-  syntax MachineSizes ::= #layoutOffsets ( MaybeLayoutShape ) [function, total]
-  rule #layoutOffsets(someLayoutShape(layoutShape(fieldsShapeArbitrary(mk(OFFSETS)), _, _, _, _))) => OFFSETS
-  rule #layoutOffsets(noLayoutShape) => .MachineSizes
-  rule #layoutOffsets(_) => .MachineSizes [owise]
+    =>      #structOffsets(LAYOUT) ==K .MachineSizes
+     orBool #structOffsets(LAYOUT) ==K machineSize(mirInt(0)) .MachineSizes
+     orBool #structOffsets(LAYOUT) ==K machineSize(0) .MachineSizes
+
+  syntax MachineSizes ::= #structOffsets ( MaybeLayoutShape ) [function, total]
+
+  rule #structOffsets(someLayoutShape(layoutShape(fieldsShapeArbitrary(mk(OFFSETS)), _, _, _, _))) => OFFSETS
+  rule #structOffsets(_) => .MachineSizes [owise]
 ```
 
 ## Determining types of places with projection