typeset cases of semantics_simple_inst