add Rillit-generated Shapeless lenses
make increment() generic, because why not?