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