dynamic types and expression evaluation

[David Hough 754R work <754r@xxxxxxxxxxx>]

All the comments about dynamic types have spurred some minor rewordings,
though perhaps not enough to satisfy everybody.    The result is in 

http://754r.ucbtest.org/msc-ballots/ee.pdf