I'm very confused as to what Kraid actually does and who it's for. It's a compiler of some sort, but for what? GLSL? What's significant about it beyond the target backends?