Well yes, and you list a bunch of things as pros that are true for both tools but for one which makes it appear like Flow would have these features and not Type

Well yes, and you list a bunch of things as pros that are true for both tools but for one which makes it appear like Flow would have these features and not Typescript.