tImplicits</a></li><li class="current-entities indented1"><a href="TermList$.html" title="" class="object"></a> <a href="TermList.html" title="allows substitution of a Term by another, as well as mapping to a vector of terms chiefly subtypes of Term and HLists of these;" class="trait"></a><a href="TermList.html" title="allows substitution of a Term by another, as well as mapping to a vector of terms chiefly subtypes of Term and HLists of these;">TermList</a></li><li class="current-entities indented1"><span 