fix typo
move auxiliary folds to Common.str, fix mk-alt-list
do not cache if no smart cons exists