I would imagine it is closer to lambda than quote (though also a special form), since the implementation of if would require that the bindings in the arguments

I would imagine it is closer to lambda than quote (though also a special form), since the implementation of if would require that the bindings in the arguments evaluate to their values in the callers environment.