I just finished a first draft describing Infernu’s type system. Target audience is potential users.

Comments welcome!