I read in Google Common Lisp Style Guide (see the very last section) that there is a mistake in the Common Lisp standard regarding and as a type specifier. Namely, that it does not "short circuit",...