DEFLEX: work around ABCL limitation: a symbol macro name can't also
have a symbol-value.
FN: tweak doc string.
LET: fix bug involving free type declarations.