Like AND, except binds the first argument to IT (via LET) for the
scope of the rest of the arguments.