minor reformat/de-duplication

* removed "except inverse functional property" language
* collapsed property and type column for Inverse functional property entries into one double-width column "see 4.1.2.3 Inverse Functional Identifier"