We might consider targeting Julia or solidity-assembly. In this fashion we might be able to emit compilable decompiled code.