Export lenses for RetconOptions