Removed the DynamicImplicit trait.

Trait-objects are far too unstable/broken to be used.
So atm, I will use pattern-matching for implicit shapes.