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