Genericized itm inference construtor return types
thesis-itm runs itm, albeit with not metrics