Improved Derivation docs.
Migrating derivation logic from Stream into Derivation.
Changed more Derivation-related names.
Migrating derivation logic from Stream into Derivation.