Type-safe bidirectional lenses and optics for Kotlin with compile-time code generation