Add support for specifying default parameters in the GUI
Change name of widening and narrowing strategies.

We use the terminology introduced in the SAS 2013 paper.
Rename examples and slightly change their comments

We use the names introduced in the SAS 2013 paper.