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