Updates to CLS

Featuring:
- Fixes in function/method types
- Updating conformance to reflect function types, will need to specify the conversion between function traits while testing conformance
- Adding a note about method signature for override-equivalent (matching member? - probably add definition to members of classes, using the override-equivalent for method members)
- Finishing overloading resolution for function applications

Known issues:
- Need to resolve whether to allow overloading on type arguments (likely yes)
- Need to resolve whether to allow overloading on expected type (maybe yes, since overloading on return type is implied from override-equivalent signatures not needing return types)
- Need to resolve how to define these, since the definition is far different from Scala’s