result is the units of the difference of two dimensional quantities; includes operand consistency check