(re)prove semantics_typeset