tests for various cases of if statements
compile the if special form
global symbols and the if special form are ready