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

(binary:application/pdf)