I finally wrote up a draft of the type system documentation. It still isn't implemented or anything, but at least now you can see what I'm planning. At the moment it's very sketchy and not proofread, but I'll work on that more in the next couple days.