construct literal assignments in place
construct literal assignments in place

Earlier we tried to do this for all assignments where the RHS does not depend on the LHS, but that wasn't a net win.  Needs further investigation.

sorear/metamath-turing-machines