Preliminary description of work on SpiderMonkey

Here is a simple description of the work on SpiderMonkey. I will try to elaborate a bit more -- perhaps describing the type inference mechanism -- but I am not sure if I will have time by Friday.