This looks excellent. I will probably implement this model for my own language.