units-2.4: A domain-specific type system for dimensional analysis