Option to add interfered types on actual code

[piranna]

Add an option to output code / overwrite files with actual inferred types. As a side note, also add another command to remove them, so there's no need to use Babel or Flow.