i.e. a similar syntax as copymodule/interpretmodule/realization as enabled by #351 should probably be possible for instances as well (they could in fact be interpretmodules).
Possibly also for varinstantiate (could also be a copymodule, with the non-assigned symbols of the domain "assigned" to new variables).
In general, both in sTeX and MMT one should think about how to unify the "morphism representation" (as copymodule/interpretmodule) with the "instance representation" (i.e. as record)
i.e. a similar syntax as copymodule/interpretmodule/realization as enabled by #351 should probably be possible for instances as well (they could in fact be interpretmodules). Possibly also for varinstantiate (could also be a copymodule, with the non-assigned symbols of the domain "assigned" to new variables).
In general, both in sTeX and MMT one should think about how to unify the "morphism representation" (as copymodule/interpretmodule) with the "instance representation" (i.e. as record)