Full list of changes:

* The functions within trait definitions can now have a body
* Parsing support for trait-associated constants (using the comptime
  keyword for now to avoid introducing a new keyword such as const).
* Traits can have a where clause
* The where clause is only allowed on generic definitions
* The parsing of where clauses with multiple constraints has been fixed
* More parsing tests for functions using traits and trait definitions.