i hve seen a type system at http://www.ericsson.se/cslab/~thomas/types.shtml. are there already some feedback on that approach ? is it "academic" or frozen ? used in projects? any projects to move that in compiler ? thks Luc