Safe refactoring with F# units of measure