Some tests for optional indexed lenses