Small fixes to CLS

Featuring:
- noting that refinements can refine final/sealed classes
- adding precedence for wildcard imports via use clauses