Yeah I think it would remove any confusion. That way you would not need to know if `int` was a trait or type. `int` is easy, but user defined types could be more difficult.