A demo of typed units of measure