A lens library to learn about lenses