[optional.optional.{general, ref.general}] Say "object of type optional<T&>" (cplusplus#8220)

Author: eisenwave

source/utilities.tex

@@ -3365,16 +3365,18 @@
 \end{codeblock}
 
 \pnum
-Any instance of \tcode{optional<T>} at any given time either contains a value or does not contain a value.
-When an instance of \tcode{optional<T>} \defnx{contains a value}{contains a value!\idxcode{optional}},
+An object of type \tcode{optional<T>} at any given time
+either contains a value or does not contain a value.
+When an object of type \tcode{optional<T>}
+\defnx{contains a value}{contains a value!\idxcode{optional}},
 it means that an object of type \tcode{T}, referred to as the optional object's \defnx{contained value}{contained value!\idxcode{optional}},
 is nested within\iref{intro.object} the optional object.
 When an object of type \tcode{optional<T>} is contextually converted to \tcode{bool},
 the conversion returns \tcode{true} if the object contains a value;
 otherwise the conversion returns \tcode{false}.
 
 \pnum
-When an \tcode{optional<T>} object contains a value,
+When an object of type \tcode{optional<T>} contains a value,
 member \tcode{val} points to the contained value.
 
 \pnum
@@ -4517,7 +4519,7 @@
 \end{codeblock}
 
 \pnum
-An object of \tcode{optional<T\&>}
+An object of type \tcode{optional<T\&>}
 \defnx{contains a value}{contains a value!\idxcode{optional.ref}}
 if and only if \tcode{\exposidnc{val} != nullptr} is \tcode{true}.
 When an \tcode{optional<T\&>} contains a value,