Trait can now implement interfaces

Note the incomplete test case: the next commit will introduce the ability
for mixins to override methods that may have already been defined.