computing input, output streams [ANSI CL]: use ETYPECASE instead of COND, for closure onto types of S
redefine DEFCONSTANT* such as to redefine NAME only when VALUE is not EQUALP to the existing value of NAME