почему нельзя заменить всю переусложненую на мой взгляд конструкцию с типизацией на match type. В качестве плюса.простое расширение механизма вывода типов до операций и и или. Кроме того уйдут стадии макросов