[Grace-core] Things I've edited recently

[James Noble]

I've had a pass over Kims'  "Another Attempt at Interoperability  
between Static and Dynamic Type"
  (go here https://projects.cecs.pdx.edu/~black/NewOOL/index.cgi/wiki/ 
StaticDynamicTypes
    then scroll down to "Another Attempt at Interoperability between  
Static and Dynamic Types")

>  I have the vague feeling that I've left out something important

per-send dynamic checks, I think, for "like" types. I've updated this  
in place,
and included like types in the tables.

> Nevertheless I tried to spell out quite carefully what some of the  
> type-checking rules are for assignments (and parameters).

it's good, I've tried to expand within the framework.
I think it's on the way, but not there yet: perhaps too complicated,  
and I don't like editors
magically changing code. We should talk more.


I've also edited some questions at the bottom of Kim's discussions  
about Modules
    (scroll down https://projects.cecs.pdx.edu/~black/NewOOL/index.cgi/ 
wiki/ModulesPage)

and I've touched up Pattern Matching a little.
   there, I really don't understand where "i" comes from in the  
examples!

James