Doesn't your calculation happen after you've declared your types? I agree that this is needlessly long, but in my experience you can say what the physical units

Doesn't your calculation happen after you've declared your types? I agree that this is needlessly long, but in my experience you can say what the physical units of your input variables and constants are up top and the let everything else be inferred and your computations should look the same as ever, but with extra checking at compile time.