Fix confusion between Product and Sum types
Add 'Indexed structures > Lists > Structure'