more fixes for mlstring, this time in the basicReflectionLib automation
define update_interpretation, define cs_to_inner

and generally a bit of progress on build_interpretation