Start documenting the type system