arbitrarily numbered lenses

From #2