done with tbindh case in restrict-sub-tp-rec! \cc @TiarkRompf