Updates, additional lenses
Reintroduced `Show` instance, `Foldable`, etc.