Call.FuncArg
Little abstraction over arguments: currently actual args, we'll want formal args later
type 'arg_payload t
=
{
exp : IR.Exp.t;
typ : IR.Typ.t;
arg_payload : 'arg_payload;
}