Adding subproperty() and superproperty() methods on a unit node.
Also inverseOf() for property units, which will take care of looking
for the assertion in either direction, since it is symmetric.
Documented inverseOf and supercededBy properties, and moved Class and Property under Intangible where they belong.
Added tests for super/sub property relationships, and inverse properties.