Implement type-checking and codegen for if statements.
<rdar://problem/107862445>
Pull request: https://github.com/WebKit/WebKit/pull/12599
Committed 262862@main (42bb0c9d8cd6): <https://commits.webkit.org/262862@main> Reviewed commits have been landed. Closing PR #12599 and removing active labels.