Type classes and named implementations

[Mesabloo]

• Discussion and issues related: Type classes and named implementations zilch#9 and Zilch1-2-3 features preview zilch#4 (comment)

Most of the grammar is already formalized there (still needs to be included in the specification document), but we need to define a clear semantics for each of the constructs (class, impl and constraints).