Bump lens upper bounds
Merge pull request #35 from bgamari/master

Bump lens upper bounds