add lens converter
add an implicit conversion for lenses
test Lens conversion
Merge pull request #1