Congratulations on releasing the code! I am looking forward to using the algebraic types when you get them finished.