failing work on semantics_simple_inst_imp

the type definition case is getting confusing