Just some cleanup of the argument documentation

Hi - re-activating my knowledge of Eiffel, I have cleaned up some of my old own documentation, and removed two documentation pages that I had planned to write, but never wrote in the end.