"My motivation is somewhat different - I want to enhance the VM to support more efficient operations when types are known. Type information can be exploited by

"My motivation is somewhat different - I want to enhance the VM to support more efficient operations when types are known. Type information can be exploited by JIT compilation technology to improve performance. At the same time, I want to keep the language safe and therefore usable by non-expert programmers." Seems very promising. I will try it.