New article stub on extending the type system.
Finish & publish.