[type-system] Add a skeletal outline.