+ find variable opt
+ boundp / unbound
+ find_if_backwards