I designed my own, uncreatively called Yvm. Yao already compiles to it.