Flag to `swarm format` to add type signatures

After typechecking, and before pretty-printing, it should be pretty easy to go through and copy inferred type annotations into the slot where we store explicit type annotations.

I don't think this should be the default, but we could add a flag so you could say e.g. `swarm format --add-types` or something like that.