Out of interest - for languages as horrendous at this, could someone not create an abstraction language, that essentially could compile to it, or be decompiled

Out of interest - for languages as horrendous at this, could someone not create an abstraction language, that essentially could compile to it, or be decompiled from it? I mean, even if it was a simple abstraction that just made it a little more readable. Like ASM vs machine code.