a few more types, building up test coverage over lenses