cleaned ups a bit the examples with the invariant framework; exported nominal_function_config datatype into separate structure and file

use_thys ["Paper"];