dimensional-1.2: Statically checked physical dimensions, using Type Families and Data Kinds.