Allow trait functions to define a default body

[cburgdorf]

What is wrong?

Trait support was added in #710 but it doesn't yet allow trait functions to bring a default implementation. E.g. the following code isn't yet possible.

trait PartialEq {
 
  fn some_thing-> bool {
    return true
  }
}

[sbillig]

Fixed in #840