Added lenses between multiple datatypes part 2 (poly.tex)