Nice to haves

[kubukoz]

• Multi-parameter methods #4
• Multiple parameter lists #5
• Generics in trait
• Generics in methods
• Better diagnostics (e.g. derivation on a non-trait, missing implicits)
• handling default (concrete) methods
• handling inherited methods
• Increase type safety internally