more work on properties of de Bruijn semantics

reworking the results about the previous semantics. up to defining
has_meaning.