progress on semantics_simple_inst_imp

type definition case almost done: the 'for all other type valuations'
part still remains.