Moved decision about incorporating ModelExtension into alignment
proposals into the ModelExtension itself, so that it also works with GUI
mode.