At this point I want to refer to a project I recently published together with Jonas Eckhardt and José Meseguer, createCINNI — a tool to automatically generate CINNI Instances for the Maude System. Many formal languages use the concept of names to range over essential entities of the language and are usually equipped with special [...]