Don't export NotedEnv fields

We already export the lenses.