Like IF, except binds the result of the test to IT (via LET) for
the scope of the then and else expressions.