A few corrections here and there.
Defined natural transformations.
Small change.
Merge branch 'dev'