How extensive are those bindings? Enough for codegen from a university-course level compiler? Or are the bindings focused on other things, like calling the optimizer, the backend and so on - instead of codegen?
(In that case, maybe I can make codegen happen on my end, and invoke the optimizer and backend from the bindings 
)