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