start updating reflectionScript.sml for new approach to to_inner

rename the in_ functions to _to_inner, and define a generic one to cover
all non-primitives. most of the file has been commented out, and other
files have been renamed so that the repo builds (but much functionality
is gone).
some probable fixes to the datatype of updates
maybe get term_to_cert working again after things renamed