* lisp/emacs-lisp/cl-macs.el: More care with `eval` and with `cl-typep`

* lisp/emacs-lisp/cl-macs.el: More care with `eval` and with `cl-typep`

(cl-eval-when, cl--compile-time-too, cl-load-time-value):
Obey lexical-binding.
(cl-check-type): Prefer the predicate rather than the type in the
error signal when it's easy to do (as is done outside of CL).
(cl-deftype-satisfies): Add definitions for standard types.