True, and that would be a good thing for the README to emphasize. It's mentioned, but in passing. But even so, I know I'd like a good reference of what primiti

True, and that would be a good thing for the README to emphasize. It's mentioned, but in passing. But even so, I know I'd like a good reference of what primitive operations are, the type system, and what's provided by the Prelude.