Simplifying naming and removing dependent types in CLS

Disclaimer:
- Dependent types may (and possibly will) return, but in a future version of Coral. The type system is already very complex, so dependent types will first have to prove that they are needed and also how they fit in.