Improved type inference for Simple optic construction

(see #91)