"intensional logic, the logic of values that vary over a coordinate space." Maybe a nitpick, but this feels like a weird definition of intensional logic (here's a
better explanation: intensional logic has to do with words having more meaning than mere reference). I don't think I want actual intensional logic in my sheets; I want referential transparency. I want 1+1 to always equal 2.
Beyond that, I think there are some interesting ideas in the there although it feels like someone who doesn't use spreadsheets trying to fix them: excel has some tools like pivot tables, what-if analysis, and table objects that accomplish a lot some of what the author is asserting spreadsheets can't do...in addition to RC notation, that he admitted not knowing about.