Statically checked physical dimensions, implemented using type families.