make bootstrap_lemmaScript.sml work

in a context where lookup is rewritten to ALOOKUP