Make hasNumerator, hasDenominator, hasMultiplier, hasMultiplicand functional properties

[rjyounes]

See discussion in PRs #847 and #856. There should be no need to write cardinality restrictions into every ratio unit class, because anything can have only one numerator and one denominator. (Note that their domains are no longer restricted to units of measure.) That's not to say you can't express the same quantity with different numerators and denominators, but in a specific case you have to have a specific one of each. Same for hasMultiplier and hasMultiplicand.

[uscholdm]

DEFERRED: until there is a revision to units and magnitudes in a future major release. #697