Types for units of measure: theory and practice [pdf]