Then extend the typeinfo of classes in the first param with a minimal typeid and 2D table that lists all combinations that the "custom linker" can find based on the mangling?
Maybe it would be better to put in the restriction that all double-dispatch functions with the same name are located in the same file.
