doc: type-system cont'd