Improved type inference for Simple optic construction

(see #91)
PR feedback: added doco to explain alternative simple optic creation syntax
Merge pull request #100 from japgolly/typeinfer

Improved type inference for Simple optic construction [PR]