Why not? You can have a language B that's a superset of language G but which compiles to language R. It's even typical in a sense: C++ is a superset of C, that

Why not? You can have a language B that's a superset of language G but which compiles to language R. It's even typical in a sense: C++ is a superset of C, that doesn't mean it has to compile to C, it compiles to LLVM IR or whatever.