Updating sections about dependent types in CLS

Featuring modulo operator for indexing operators, and a few naming fixes.