In addition to whatever you would get out of compiling down to JS, this could compile down to typescript and emit a bunch of other useful things, like a type covering the states, a .d.ts, and so on