OP5: Advice operators

[kakkoyun]

• OP5.1: Add field to matched struct
• OP5.2: Replace value of matched variable or constant
• OP5.3: Wrap matched expression
• OP5.4: Add arguments to matched variadic call

[darccio]

OP5.1 is already implemented as InstStructField. I opened a PR to update docs because they weren't aligned with the implementation.

[darccio]

OP5.2 is a duplicate of OP3.3.