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