Generalize SortedPolyTransforms into EvidenceGuidedPolyTransforms

[julienrf]

See #24 (comment)

The idea would be to reuse the same trait definition for polymorphic transformation methods (e.g. map) that take an additional implicit evidence parameter (e.g. Ordering[B], ClassTag[B], etc.).