ich to evolve, perhaps just to generate types">InitState</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="HoTTMessages$$Instance.html" title="instances, which are just terms of a specific type in a context" class="class"></a><a href="HoTTMessages$$Instance.html" title="instances, which are just terms of a specific type in a context">Instance</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="HoTTMessages$$IntermediateStatements.html