Adding sections about dependent types to CLS

Featuring dependent types, new keyword `indexed-with`, indexed types, constrained types and range types.