Add objEdit to ObjectDef, containing the object's editable relation

Doesn't work correctly yet, as the editable relation is computed over the non-normalized interface expression. Calling the normalizer is tricky because of import cycles.