reprove semantics_has_meaning

the next broken thing is new_basic_type_definition_correct