I see what you mean but how is it academically useful to identify transpilers something of their own? It's still compiling (lowering) from one notation to another.