Er, no. I certainly wasn't, and the person you were replying to above that was making the opposite claim: that it's harder than that.
And no, the type system doesn't really help all that much, once you have unit tests. Because unlike the unit tests, which checks values (and obviously the types as well, incidentally) the type system only checks the types.
So, trivially, if you mix up addition and subtraction, your unit tests will rightfully balk, whereas your type system is going to be "works for me".
As I wrote elsewhere in this thread, in my personal experience the type system was happy during a large refactor long before the unit tests were. Which means that there was a lot of stuff that the type system missed.
And so if you feel your type system is going to make your refactors safe, well, good luck to you and the poor people who have to use your code.