reprove typeset_has_meaning and semantics_frees_exists