No static distinction between outside and inside [rec].
A [lookup] method is needed to deal with [binder] on the second visit.