Separate guaranteed from non guaranteed behavior in call ABI examples

Author: gnzlbg

reference/src/glossary.md

@@ -106,34 +106,30 @@ pub enum Abi {
 }
 ```
 
-where
+where:
 
 ```rust,norun
 enum Integer { I8, I16, I32, I64, I128, }
 enum FloatTy { F32, F64, }
 
-enum Primitive {
+enum Scalar {
     Int(Integer, /*signedness:*/ bool),
     Float(FloatTy),
     Pointer
 }
-
-struct Scalar {
-    value: Primitive,
-    valid_range: RangeInclusive<u128>,
-}
 ```
 
-For example, right now, the call ABI of:
+For example, the call ABI of:
 
 * `i32` is `Scalar`,
-* `struct Wrapper(i32);` (without `repr(transparent)`) is also `Scalar` (only larger `struct`s are aggregates),
-* `#[repr(C)] struct Wrapper(i32);` is `Aggregate { sized: true }` - required by `repr(C****.
+* `#[repr(C)] struct Wrapper(i32);` is `Aggregate { sized: true }`.
+* `#[repr(transparent)] struct Wrapper(i32);` is `Scalar`.
+
+The call ABI of `repr(Rust)` types is unspecified. The following is not
+guaranteed, but right now the call ABI of:
 
-**NOTE**: the call ABI of `repr(Rust)` types is unspecified, so the "call ABI"
-of `repr(Rust)` types is not guaranteed and `unsafe` code shall not rely on it.
-That is, code that requires `struct Wrapper(i32);` to have the same ABI as `i32`
-needs to use `repr(transparent)`. f
+* `/*#[repr(Rust)]*/ struct Wrapper(i32);` (without `repr(transparent)`) is also
+  `Scalar` - only larger `struct`s are aggregates.
 
 ### TODO