Fix hashable lower bound, widen lens lower bound