Divide unused declaration setting into two separate options

Update documentation in order to close #667.
"Beware that this feature is only 100% reliable when the code has **no** type error."

Maybe "no" here is not needed?