Trait templates

Just like types, it should be also possible to parameterize traits by type parameters. A trait template should be defined using a syntax similar to

```
trait Into<T> {
    fun into(self): T
}
```

Types may implement different instantiations of the same trait.