Spine-strictness by default

Data structures ought to be spine-strict. Laziness is trivially recovered by using Vinyl within a lazy *idiom* (e.g. `Rec rs LazyIdentity`).

- [x] Add various type class instances to `Identity` and `LazyIdentity` idioms.