No thanks
(defun foo (x) (declare (type (Integer 0 100) x)) (* x (get-some-value-from-somewhere-else)))
No thanks