Updating section about case classes in CLS

Known issues: not finished. Needs to clarify further details, all implicitly added methods (so far only apply and unapply mentioned), and the type of Option:[] return type:
- Boolean for n = 0 formal value parameters
- Option:[T] for n = 1 formal value parameters
- Option:[(T_1, …, T_n)] for n > 1 formal value parameters (yes, a Tuple type!)
Also needs to define the connection between tuple arguments and function applications - tuples can be automatically made of arguments if the function accepts n = 1 parameters and that parameter can be of a Tuple type (no type specified: yes, it can!)