Propagate narrow-types on all special forms

[Fuco1]

Alternatively we can find some other method of passing these up in the "call tree" because the current methodology means every extension also has to do this "manually", same as with return types. Maybe that's a good thing though.

• [x] and
• [ ] catch
• [ ] cond
• [ ] condition-case
• [x] defconst
• [x] defvar
• [x] function
• [ ] if
• [x] interactive
• [x] lambda
• [ ] let
• [ ] let*
• [x] or
• [x] prog1
• [x] prog2
• [x] progn
• [x] quote
• [x] save-current-buffer
• [x] save-excursion
• [x] save-restriction
• [x] setq
• [ ] setq-default
• [x] track-mouse
• [x] unwind-protect
• [ ] while

[Fuco1]

This will probably be fixed by the elsa-save-scope mechanism.