Fixed treatment of lists as sets, and base case of case-lambdas.