Inckmann, M. IDORIS - An Integrated Data Type and Operations Registry with Inheritance System [Computer software]. https://github.com/maximiliani/idoris