Better error message when found more than once object of name ...
Fix Bug 3217

Normalize the term to see if there are arguments to daclare implicits only if
at least one argument occurs in the non normal form
Fix Bug 3131 + Really drop mentions of info in refman.