dimensional-tf-0.3.0.4: Statically checked physical dimensions, implemented using type families.