delete some of the unused stuff in holSemanticsScript.sml