improved 'equo unused' algorithm

It is almost finished, except there are some comments where I'd like to have a comment.