This is exactly what I thought. The things it's bringing in don't seem like "types", they seem like "rich structured data objects, usually imported from the we

This is exactly what I thought. The things it's bringing in don't seem like "types", they seem like "rich structured data objects, usually imported from the web, that live in cells on sheets so you can refer to in formulas". I wanted cells to have types -- not just dimensions like meters and volts but arbitrary composeable tags with a tag arithmetic, so that you can make it impossible to (or at least easy to notice when you) add "daily active users" and "monthly active users". I read a thread here on HN just a couple days ago about people whose job it is to pore through spreadsheets that drive trillions of dollars for companies and find logical errors (like the above nonsensical addition of two numbers that don't make sense), and that they save companies hundreds of millions by preventing mistakes in planning etc. Maybe I'm missing the point, but compared to real types, who cares about bringing a rich structured data object describing hydrogen into a spreadsheet?