> Thus adding an ML-style type discipline would remove an ability that I > now have. but it is a tool, which as you point out, is seperate than the language. languages by definition allow expression of some things and not others. are you suggesting ML is type-checking your stuff on paper?