Typechecker changes call parameter types to function's expected type.