bit of work trying to fix bootstrapScript.sml

it's out of date because written as if the initial cenv is [] instead of
init_envC.

it's still broken.
I don't know if it's actually worthwhile fixing: what is this theory
for?