Formally speaking, "Transpiler" is a useless word (by notypes) — discussion

#plt