Insert types for args of some function pointers to improve type checking.