Stricter type: the type now shows that disambiguation only alter the lexicon.

In this way we are forced to manually set the content of the object in place of
setting the whole object, that leads to information loss since in the meanwhile
new commands may have altered the rest of the state.