Shuffle import list a bit.
Added natural transformations.