Updating sections about indexed types in CLS