I've been working intermittently on drawing up a specification for Crowbar, a C replacement aiming to be both simpler and safer. I'm still nowhere near done, but I'm proud of the concept I've reached for type names, and I want to explain it in depth here.
