altos/lisp: bounds check in move_map plus binary search