I presume you are aware of the Types-SIG? It appears to be defunct. If anyone is interested in seriously persuing this topic, you may want to grab hold of the SIG before it's deactivated. -Fred -- Fred L. Drake, Jr. <fdrake at acm.org> Corporation for National Research Initiatives