base_units_ratio
This resolves a TODO and lets us use arbitrary exponent denominators. I also attempt to clarify the semantics. This is based on my best effort of understanding pre-existing concepts in the library, so I hope I got it right!
first_factor_maybe()
get_first_of()
inverse_if_negative()