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

(binary:image/png)