re-export some useful functions from lens