bugfix: access subterms in terms with binders