Changed name of saveNewState to putGameStateF.  Added DoAndIfThenElse language extension.