fixes to bootstrap_lemmasScript.sml for strings