Add domaintypes and core.typed

Add domaintypes to the Data Validation section.

Uppercase "V" in "Data Validation" in the index to make consistent with
other entries.

Add a Type System section and add core.typed to it.