lightning community – How the Refund transaction in Uneven Revocable Commitments constructed?

In “mastering bitcoin” guide chapter 14 there’s a part about Uneven Revocable Commitments that point out the necessity of refund transaction.

I do not perceive how this refund transaction constructed:

1. Does the refund transaction has a timelock?
2. It states “the primary set of commitments (referred to as the refund) that assigns the preliminary steadiness of 5 bitcoin for Hitesh and 5 bitcoin for Irene” does it imply that the 2 first examples of transaction on this part are the refund transaction?

Output 0 <5 bitcoins>:
    <Irene's Public Key> CHECKSIG

Output 1 <5 bitcoins>:
    <1000 blocks>
    CHECKSEQUENCEVERIFY
    DROP
    <Hitesh's Public Key> CHECKSIG

and

Enter: 2-of-2 funding output, signed by Hitesh

Output 0 <5 bitcoins>:
    <Hitesh's Public Key> CHECKSIG

Output 1 <5 bitcoins>:
    <1000 blocks>
    CHECKSEQUENCEVERIFY
    DROP
    <Irene's Public Key> CHECKSIG

3. What’s the function of the third instance:

    <Irene's Public Key> CHECKSIG

Output 1 <5 bitcoins>:
IF
    # Revocation penalty output
    <Revocation Public Key>
ELSE
    <1000 blocks>
    CHECKSEQUENCEVERIFY
    DROP
    <Hitesh's Public Key>
ENDIF
CHECKSIG