Moving lens exports into the prelude