work on updating semantics_simple_inst

have done the type definition case. the next non-trivial cases are for
the abs/rep constants.