Fix typo in tymodel and manual IR

[hyp3rflow]

This PR fixes following typos:

• IntegerIndexedExoticObject fields
• Function.prototype.toString IR

Type analysis result:

=== Affected by IntegerIndexedExoticObject changes
    def <BUILTIN>:INTRINSICS.get TypedArray.prototype[@@toStringTag](this: ESValue, ArgumentsList: List[ESValue], NewTarget: Object | Undefined): Unknown
--> def <BUILTIN>:INTRINSICS.get TypedArray.prototype[@@toStringTag](this: ESValue, ArgumentsList: List[ESValue], NewTarget: Object | Undefined): Normal[Undefined]
+-> def <BUILTIN>:INTRINSICS.get TypedArray.prototype[@@toStringTag](this: ESValue, ArgumentsList: List[ESValue], NewTarget: Object | Undefined): Normal[String | Undefined]

    def ValidateAtomicAccess(typedArray: Unknown["TypedArray"], requestIndex: Unknown): Unknown["EitherANormalCompletionContainingAnIntegerOrAnAbruptCompletion"]
--> def ValidateAtomicAccess(typedArray: Bot, requestIndex: Bot): Unknown["EitherANormalCompletionContainingAnIntegerOrAnAbruptCompletion"]
+-> def ValidateAtomicAccess(typedArray: ESValue, requestIndex: ESValue): Abrupt[throw]

    def ValidateIntegerTypedArray(typedArray: Unknown, waitable?: Boolean): Unknown["EitherANormalCompletionContainingEitherAnArrayBufferOrASharedArrayBuffer,OrAnAbruptCompletion"]
--> def ValidateIntegerTypedArray(typedArray: ESValue, waitable: Boolean): Abrupt
+-> def ValidateIntegerTypedArray(typedArray: ESValue, waitable: Boolean): Normal[ArrayBufferObject | Absent] | Abrupt

=== Affected by Function.prototype.toString IR change
    def <BUILTIN>:INTRINSICS.Function.prototype.toString(this: ESValue, ArgumentsList: List[ESValue], NewTarget: Object | Undefined): Unknown
--> def <BUILTIN>:INTRINSICS.Function.prototype.toString(this: ESValue, ArgumentsList: List[ESValue], NewTarget: Object | Undefined): Normal[String] | Abrupt[throw]
+-> def <BUILTIN>:INTRINSICS.Function.prototype.toString(this: ESValue, ArgumentsList: List[ESValue], NewTarget: Object | Undefined): Normal[String | Absent] | Abrupt[throw]

[jhnaldo]

LGTM! 👍🏻