static types, checking, conversions

[John M. Dlugosz]

I posted my thoughts as a sort of white paper here:

http://www.dlugosz.com/files/static-type.pdf

This needs to be fleshed out.  Decisions need to be made.  Anyone want to 
discuss it with me?

--John