Add type system article
Consolidate guides