Added some description of strings and characters.  And some (incomplete) description of subtyping.