Cleaning up CLS

Featuring:
- Removing references to dependent types, they will be redone later, if at all (the new revisited type arguments/parameters are a pretty strong feature)
- Reified types
- Finally finishing conformance (without annotation-restricted conformance)