Improve inferred type of form multiple-value-setq.
Improve inferred type of form tagbody.
Improve inferred type of function si::fset.