tools/herd/litmus: simplify (?) argument of SymbReg -> many changes.