Update introduction of the type section, and remove parts about built-in types