On Mon, 10 May 2004, Edward A Lee wrote: > > I think this is a great idea... > > On the semantic types, I would suggest checking out the new statically > checked unit system infrastructure in 4.0... I believe it could be easily > adapted to handle semantic types...