Updates to CLS

Featuring:
- Changing definition of override-equivalent and adding override-matching, so that overloading on return type would be possible
- Dropping a useless section in declarations
- Updating member definitions
- Updating applicable functions with links to implicit conversions on the word "compatible"
- Updating implicit conversions, including overloading resolution on type application and neither application