Answering from similar experience. I personally use them both, dialyzer as part of the Elixir Language Server and typespecs when I feel something needs more clarity and definition.

Depending on what itches your types scratch for you it might be enough, might not. I've never wanted more type system in my Elixir personally.