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