Yep, that's a perfect analogy. And people have actually used type systems to formalize the concept of units. :)