unittyped-0.1: An extendable library for type-safe computations including units.