This branch contains an implementation of type classes as described in the new generics design in #679.

TODO list:

• Instance Declarations
• Basic Type Bounds
• Type bounds in classes
• Dependent type classes
• Efficient search + namespacing (only search for instances in imported packages)
• implicit instances for classes: ToIndex, FromIndex (maybe: TableKey, TableValue, Hashable)
• Type Check: All functions implemented correctly
• Add check for diverging instance search
• Also search for supertypes
• Also search for methods in extended interfaces
• Overloads with extension methods / type classes should not give error.

Maybe add:

• Complex inference (see Iterable example)
• Translate casting to int using ToIndex and FromIndex type classes (better backwards compatibility)
• Use type classes for iterators (for-loops)
• Use type classes for operator overloading
• Add an expression (or magic function) for obtaining type class instances and calling methods on them, like (implicitly<Show>.toString(42))
• Automatically use existing methods and extension functions in instance declarations