ation.FreeExpr.FreeSigma" class="extype">FreeSigma</a>, <a href="FreeExpr$$MetaVar.html" name="provingground.translation.FreeExpr.MetaVar" id="provingground.translation.FreeExpr.MetaVar" class="extype">MetaVar</a>, <a href="FreeExpr$$Numeral.html" name="provingground.translation.FreeExpr.Numeral" id="provingground.translation.FreeExpr.Numeral" class="extype">Numeral</a>, <a href="FreeExpr$$Or.html" name="provingground.translation.FreeExpr.Or" id="provingground.translation.FreeExpr.Or" class="extype">Or</a>,