Better usage examples (including exceptions to rules) for Aether patterns

[kolektiv]

Make sure to include generics (e.g. generic records) and also different usages of Map.*_ optics.