Complete change to ExprArg using trees. Most tests passing, but small
bugs still. Large solving time improvement, but still a bottleneck in
translation.