fix up the bool thms in reflectionScript.sml
work on base case of build_interpretation

everything except select should be mostly done