More work on subsection on external objects

* Some clarifications of relatives
* Exposition of the argument from the Categories
* Some extension of the discussion of the Metaphysics