Greetings Phokham, Thank you very much for your noting the bugs that you have experience. We appreciate your input on how to improve the framework and to ease introducing the framework to new type system writers. I will review your notes and respond to you promptly. Regards, Mahmood