Define Lens in term of ProFunctor

This mentions ProChoice but should mention Strong.