Updates to Partial type signatures

We’ve expanded the partial type signatures lesson. It discusses what kinds of things can be inferred with the extension, how it interacts with StandaloneDeriving, NamedWildCards, and ScopedTypeVariables, and how to suppress the warning that it emits.