Divide unused declaration setting into two separate options

Update documentation in order to close #667.
Done.