Allow editing narrowed relations

There are still some strange issues (see SpecEdit.adl), but we will go with this algorithm for now.