delete some unused commented out things
satisfy the new assumptions of constrain_interpretation_satisfies
small cleanup
more cleanup, remove old reflectionLib.sml code
more cleanup