WYCS: additional improvements to theory of lists.