fixup: Rename some aliases

`_val_`  -> `_v_`
`_prom_` -> `_p_`

spec.html

@@ -43698,8 +43698,8 @@ <h1>
           1. IfAbruptRejectPromise(_value_, _promiseCapability_).
           1. Let _valueWrapper_ be Completion(PromiseResolve(%Promise%, _value_)).
           1. IfAbruptRejectPromise(_valueWrapper_, _promiseCapability_).
-          1. Let _unwrap_ be a new Abstract Closure with parameters (_val_) that captures _done_ and performs the following steps when called:
-            1. Return CreateIterResultObject(_val_, _done_).
+          1. Let _unwrap_ be a new Abstract Closure with parameters (_v_) that captures _done_ and performs the following steps when called:
+            1. Return CreateIterResultObject(_v_, _done_).
           1. Let _onFulfilled_ be CreateBuiltinFunction(_unwrap_, 1, *""*, « »).
           1. NOTE: _onFulfilled_ is used when processing the *"value"* property of an IteratorResult object in order to wait for its value if it is a promise and re-package the result in a new "unwrapped" IteratorResult object.
           1. Perform PerformPromiseThen(_valueWrapper_, _onFulfilled_, *undefined*, _promiseCapability_).
@@ -44666,19 +44666,19 @@ <h1>Promise.prototype.finally ( _onFinally_ )</h1>
           1. Else,
             1. Let _thenFinallyClosure_ be a new Abstract Closure with parameters (_value_) that captures _onFinally_ and _C_ and performs the following steps when called:
               1. Let _result_ be ? Call(_onFinally_, *undefined*).
-              1. Let _prom_ be ? PromiseResolve(_C_, _result_).
+              1. Let _p_ be ? PromiseResolve(_C_, _result_).
               1. Let _returnValue_ be a new Abstract Closure with no parameters that captures _value_ and performs the following steps when called:
                 1. Return _value_.
               1. Let _valueThunk_ be CreateBuiltinFunction(_returnValue_, 0, *""*, « »).
-              1. Return ? Invoke(_prom_, *"then"*, « _valueThunk_ »).
+              1. Return ? Invoke(_p_, *"then"*, « _valueThunk_ »).
             1. Let _thenFinally_ be CreateBuiltinFunction(_thenFinallyClosure_, 1, *""*, « »).
             1. Let _catchFinallyClosure_ be a new Abstract Closure with parameters (_reason_) that captures _onFinally_ and _C_ and performs the following steps when called:
               1. Let _result_ be ? Call(_onFinally_, *undefined*).
-              1. Let _prom_ be ? PromiseResolve(_C_, _result_).
+              1. Let _p_ be ? PromiseResolve(_C_, _result_).
               1. Let _throwReason_ be a new Abstract Closure with no parameters that captures _reason_ and performs the following steps when called:
                 1. Return ThrowCompletion(_reason_).
               1. Let _thrower_ be CreateBuiltinFunction(_throwReason_, 0, *""*, « »).
-              1. Return ? Invoke(_prom_, *"then"*, « _thrower_ »).
+              1. Return ? Invoke(_p_, *"then"*, « _thrower_ »).
             1. Let _catchFinally_ be CreateBuiltinFunction(_catchFinallyClosure_, 1, *""*, « »).
           1. Return ? Invoke(_promise_, *"then"*, « _thenFinally_, _catchFinally_ »).
         </emu-alg>
@@ -45950,11 +45950,11 @@ <h1>
         <emu-alg>
           1. Let _asyncContext_ be the running execution context.
           1. Let _promise_ be ? PromiseResolve(%Promise%, _value_).
-          1. Let _fulfilledClosure_ be a new Abstract Closure with parameters (_val_) that captures _asyncContext_ and performs the following steps when called:
+          1. Let _fulfilledClosure_ be a new Abstract Closure with parameters (_v_) that captures _asyncContext_ and performs the following steps when called:
             1. Let _prevContext_ be the running execution context.
             1. Suspend _prevContext_.
             1. Push _asyncContext_ onto the execution context stack; _asyncContext_ is now the running execution context.
-            1. <emu-meta effects="user-code">Resume the suspended evaluation of _asyncContext_</emu-meta> using NormalCompletion(_val_) as the result of the operation that suspended it.
+            1. <emu-meta effects="user-code">Resume the suspended evaluation of _asyncContext_</emu-meta> using NormalCompletion(_v_) as the result of the operation that suspended it.
             1. Assert: When we reach this step, _asyncContext_ has already been removed from the execution context stack and _prevContext_ is the currently running execution context.
             1. Return *undefined*.
           1. Let _onFulfilled_ be CreateBuiltinFunction(_fulfilledClosure_, 1, *""*, « »).