The first problem you run into is call by value. As a function the args to if would be evaluated before the function call. You could force the user to quote th

The first problem you run into is call by value. As a function the args to if would be evaluated before the function call. You could force the user to quote the branches to the if call to get around it but the special form is less error prone.