Clarity updates for List.hs
More List, up until seqOptional.