Created by: stefanoborini
When the model contains options that might modify the resulting slots, a notification must be issued, so that the UI can take appropriate action.
Provides that mechanism, and documents it.
Fixes #74 (closed)
