Insert type arguments after replacing expression
TO SPLIT: Implement IDE modules
minor