Danicek
Sentinel
I would say that there are two types of trolls. When the community is mature enough, members of the first type can be either changed or driven away without enforcing anything by bans or other such tools. And then there are always people I would call "forum raiders", they came to destroy. They can be easily recognized and banned.