Very interesting ideas -- all the way the small practical stuff like being able to expose symbols only for testing without making them public, up to the more am

Very interesting ideas -- all the way the small practical stuff like being able to expose symbols only for testing without making them public, up to the more ambitious stuff about validation and constraint checking. As a broad research language the pitch is probably not focused enough to draw in users that happen across the docs, but I doubt mass adoption is the goal at this point! I would love to use a language that implemented even just the "simple" parts, and I doubt I would be the only one. One specific suggestion I have about the overview and docs is that I think the language around "Cloud" and "Restful/API computing" is more specific than it needs to be. While features like the APITypes would definitely be most useful for cloud/web software, I think the same ideas could be very useful for any kind of software. Anything that even writes a JSON config file could benefit from that concept if I understand it correctly.