Programming languages supporting units of measure