Sync-minimal lens span

• cofunctor
• Functor lens
• Universal Properties of Proxy Pullbacks (Di Meglio)