on Classes</dt><dd><a href="index.html" name="provingground.translation" id="provingground.translation" class="extype">translation</a></dd></dl></div></li><li class="current-entities indented3"><a href="FreeExpr$$AnonVar$.html" title="" class="object"></a> <a href="FreeExpr$$AnonVar.html" title="" class="class"></a><a href="FreeExpr$$AnonVar.html" title="">AnonVar</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="FreeExpr$$FF$.html" title="" class="object"></a><a href="