Execute the constituents of a conditional statement.
(exec-if branches else env limit) → value?+denv
The constituents are a list of branches and a default block. We go through the branches. For each, we execute the test of the branch: if it succeeds, we execute the block and the branch and return the result; if it succeeds, we examine the next branch in the same way. If we run out of branches, we execute the default block.