MetaModel identifies now non-final attributes.

The Updatable metamodel can identify which attributes are non-final,
that is to say their types can be refined. Besides, this commit fixes
a problem that arised with persistence testing.