Just use the arg types, rather than the let nodes.

That way, we have more control over variable naming.
Use IPC::Run to spawn tptp4X processes.