t_walkstar translated, translation of unify deleted, cheat added to unifyScript.sml