Refactor traits in `src/types` to use associative types

Instead of 
```rust
trait Example<T>
where T: Debug {
 fn example(&self) -> T
}
```

We can use associative types that look cleaner
```rust
trait Example {
 type Item: Debug;

 fn example(&self) -> Self::Item
}
```
Feels a lot cleaner and well defined