Move predefined lenses to a public `lens` module

This avoids having those predefined types, which are optional, be in the
middle of the core types.