Added natural transformation commutation.
Added examples file.