Proper headings for lambda lists themes. Drop redundant flat comparisons table.