Allow being called with traits

[cdown]

Right now attempting to do FormatMap<dyn SomeTrait> doesn't work because we need to relax Sized in many places. However, trying to do that then breaks more things, like Eq on Formatter<T>, which need looking at.