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