Annotate the type of the arguments and return type of function calls.