@raph After so much development of different kinds of type checkers, no one has built one that doesn't just get in the way. Have you considered the one true language, Forth?