Updating sections about dependent types in CLS