GSW: further tweaks to the section on subtyping.  Have now pulled out the concept of implicit vs explicit coercions.