Flexible, statically-checked experimental library for units of measurement