Fix to compilation of some specific test-forms

[alejandrozf]

Fixes #500 specifically and similar forms but I suspect the problem is bigger

Things like (defun test (m) (let ((l 0)) (declare (type fixnum l)) (setq l (if m 2)) l)) still won't work