Refactor traits in src/types to use associative types

[deven96]

Instead of

trait Example<T>
where T: Debug {
 fn example(&self) -> T
}

We can use associative types that look cleaner

trait Example {
 type Item: Debug;

 fn example(&self) -> Self::Item
}

Feels a lot cleaner and well defined